Properties Coverification for HW/SW Systems
نویسندگان
چکیده
The coverification of a given HW/SW system consists of checking whether the implementation of the software and hardware parts and their integration fulfill or not some or all the specification requirements of this system. In the case of a distributed model, the SW and HW system blocks are described respectively by HLL (High Level Language) and HDL (Hardware Description Language) codes. When dealing with a unified model, both SW and HW components are implemented in the same language such as Java. In this paper, we propose a tool that allows designers to specify the properties of their systems in CPL (Coverification Properties description Language), and performs the coverification by simulation. The engine of this tool is implemented using the Java programming language and is mainly based on the management of threads.
منابع مشابه
Multithreading-based Coverification Technique of HW/SW Systems
An embedded system consists of a set of heterogeneous components. These components may be software or hardware blocks with a limited specification. A global verification of such systems to check the equivalence between their implementation and their specification is challenging. Number of tools such as Seamless-CVE and Eaglei are now available. These tools perform the coverification of HW/SW sy...
متن کاملHyper-acceleration and HW/SW
Hardware/software (HW/SW) co-verification can considerably shorten the time required for system integration and bring-up. But coverification is limited by the simulation speed achievable whenever hardware models are required to verify hardware and software interactions. Although the use of a generalpurpose hardware accelerator as an extremely fast simulator resolves performance aspects, it gene...
متن کاملHW/SW CoVerification Performance Estimation & Benchmark for a 24 Embedded RISC Core Design
This paper describes the benchmarking of a HW/SWcoverification design strategy. The benchmark results were the base for making a principal verification decision for an already ongoing project at Siemens AG, Public Communication Network Group. The intention for this benchmark was to verify whether commercial available coverification tools can handle the design complexity of an embedded system co...
متن کاملA Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC
Co-verification is the key step of software and hardware codesign on SOC. This paper presents a hw/sw coverification methodology based on TWCNP-OS, a Linux-based operating system designed for FPGA-based platform of two-way cable network (TWCNP) SOC. By implementing HAL (hardware Abstraction level) specially, which is the communications interface between hardware and software, we offer a homogen...
متن کاملGuest Editors' Introduction: Multiprocessor Systems-on-Chips
HW/SW interfaces allow verification early in the design process. Verification of the HW/SW interface itself imposes new challenges. It is not sufficient to verify the interface independent of its context—the interface must be verified relative to a given hardware platform. Of course, researchers can’t wait until the hardware prototype is available to carry out this verification. Researchers can...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999